Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base
نویسندگان
چکیده
When deployed in practical applications, Ontologies and KBs often suffer various kinds of inconsistency, which limit the applications performances significantly. In this paper, we propose a framework to reason inconsistency between Ontology and KB and refine the inconsistency accordingly. To make our framework efficient, we only focus on reasoning a part responsible for the inconsistency, rather than the whole structures of Ontology and KB. Moreover, to improve the execution speed of algorithms employed in the framework, we also discuss an axiom-oriented strategy to reason on a reduced space of formula to be inferred in Ontology and KB.
منابع مشابه
Interactive ontology revision
When ontological knowledge is acquired automatically, quality control is essential. Which part of the automatically acquired knowledge is appropriate for an application often depends on the context in which the knowledge base or ontology is used. In order to determine relevant and irrelevant or even wrong knowledge, we support the tightest possible quality assurance approach – an exhaustive man...
متن کاملInconsistencies , Negations and Changes in Ontologies 1 ( Extended Abstract )
The ability to deal with inconsistency and to accommodate change is of utmost importance in real-world applications of Description Logic based ontological reasoning and management [1]. For example, one of the typical scenarios in deployed Semantic Web applications is ontology reuse, where users build their own ontologies from existing ones, rather than starting from scratch. After adding new ax...
متن کاملA Stratification-based Approach for Inconsistency Handling in Description Logics
Inconsistency handling is a central problem in many knowledge representation fields, such as belief revision, belief merging. Many approaches have been proposed to handle inconsistency in ontologies. In this paper, we propose a stratification-based approach for inconsistency handling in description logics (DLs), a family of ontology languages. This approach consists of two steps. In the first s...
متن کاملInconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundamental role. The ability to deal with inconsistency and to accommodate change is of utmost importance in realworld applications of ontological reasoning and management, wherein the need for expressing negated assertions al...
متن کاملRevising Description Logic Terminologies to Handle Exceptions: a First Step
We propose a methodology to revise a Description Logic knowledge base when detecting exceptions. Our approach relies on the methodology for debugging a Description Logic terminology, addressing the problem of diagnosing incoherent ontologies by identifying a minimal subset of axioms responsible for an inconsistency. In the approach we propose, once the source of the inconsistency has been local...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007